MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES

The problem of technological knowledge formalization is being considered. Discussed features of systems in the scope of ontological engineering of processes, applied to solving the problems of the structural representation of technologies associated with the organization of their analysis. Proposed a model of the concept of technological action, which identifies technological actions as holistic conceptual formations. Constructed the model of formalized description of technologies, which provides unambiguous transition from verbal descriptions of technologies to their ontological representations. Described algorithms for constructing a formalized description of technologies, which implement the logical procedures for automated and automatic construction of ontological representations of technologies. Concluded in the development of a new method of formalized description of technologies, the fundamental principles of which constitute the distinctive features of the proposed models and constructed algorithms

Development of Information Model of Forming Basic Educational Programs in the Light of Professional Competencies

This paper describes the process of forming the basic educational programs to the professional competence of the proposed model based on a competency areas

A METHODOLOGY TO STUDY THE INFLUENCE OF THE KNOWLEDGE OF MATHEMATICAL DISCIPLINES FOR STUDYING SPECIAL DISCIPLINES

Professional training of students at the University should form the graduate's solid knowledge and ability to quickly master his often changing functional duties. To do this, the basic disci-plines of the engineer should be based on the fundamental disciplines of the first courses, which include, first of all, mathematics and physics. However, mathematical training of University students in the first years has become particularly difficult in recent years. It is known that today school graduates have a low level of exam scores in mathematics, which does not provide adequate assistance to successfully master not only higher mathematics at the University, but also special disciplines. In this regard, currently an urgent task is to study the levels of knowledge of special disciplines by students of technical universities, depending on the level of knowledge of mathematical disciplines. To ensure the quality of teaching mathematics at the University there are methodical systems of organization of level differentiation of training, which takes into account the initial level of pre-University training and corresponding to this level of the program of University mathematical training. However, their implementation is not very successful. The paper proposes a method of evaluation of the study of the connection of mathematical dis-ciplines with General scientific and special disciplines. Their establishment can allow to make necessary adjustments in their study for subsequent sets to the University

INDICATORS OF FORMALIZED DESCRIPTION QUALITY AND ANALYSIS OF PRODUCTION TECHNOLOGIES

This paper discusses conceptual basis for assessment and analysis of model quality relating to formalized description of technologies. The authors give indicators used to assess formalized and textual descriptions of technologies. They raise some questions concerning the analysis of technologies that enable to make a list of indicators. The paper examines decomposition structures of specific technologies and provides the calculations of introduced coefficients.

STUDY OF THE IMPACT OF KNOWLEDGE SECTIONS OF ELEMENTARY MATHEMATICS ON THE STUDY OF HIGHER MATHEMATICS IN ENGINEERING UNIVERSITIES

The article presents the results of the study of the impact of knowledge sections of elementary mathematics on the study of higher mathematics by students of Pskov State University. The analysis is based on the knowledge of the elementary mathematics sections tested on a unified state exam (USE). The most important sections of USE's monitoring materials have been identified for the study. The results of these assignments are given to school leavers who have enrolled in 2018 and 2019 at Pskov State University. The regression analysis method examined the impact of USE results on higher mathematics by students studying at the university's technical areas. The regression rate, which indicates the strength of the link between the results of higher and elementary mathematics, is about 40%. Recommendations are made for the organization of the educational process of studying higher mathematics, taking into account the low level of knowledge of school mathematics entering the first year of the universit

DEVELOPMENT OF SOFTWARE FOR DESIGN ONTOLOGICAL REPRESENTATIONS OF PRODUCTION TECHNOLOGIES

The features of the progressive methodological basis for the construction of formalized descriptions of technologies for their subsequent analysis are discussed. The existing possibilities of ontological knowledge engineering applied to the problem of the structural representation of technologies using computer tools are noted. Presented functionality of the developed software that allows automating staged algorithmic procedures for constructing unified decomposition structures of formalized descriptions of technologies. Analysed following development tools: Java Standard Edition programming platform, “Eclipse” IDE, Java programming language, PostgreSQL database management system, “Swing” library for creating a graphical interface and “JGraphX” library for graphs visualization. Database structure of the developed software is described: shown database schema, database tables are defined and the links between them are indicated. The architecture of the developed software is presented: shown data flow scheme and the purpose of each of the modules is described. The main advantages of the developed software “OntoTechnology” is designated, which shows the practical significance of the results

Modeling and forecasting of cargo turnover at the railways of the Russian Federation according to statistics data

The approach of modeling and forecasting of cargo turnover of transport is described. Based on statistical information on the transport activities of the Russian railway, a study of the dependence of the autocorrelation coefficients was conducted and a trend in the change in cargo turnover was established. The quality of the trend was evaluated and the point and interval forecasting of cargo turnover was carried out